• Home
• Categories
• Theorem Proving

Theorem Proving

A Deductive Approach to Program Synthesis

Information Systems / Theorem Proving / Computer Software / Program Transformation / Program Synthesis

Download

SCR: a practical approach to building a high assurance COMSEC system

Embedded Systems / Cryptography / Theorem Proving / Control Systems / Rocket/Missile Embedded Control System / Hardware / Formal Specification / Software Systems / Thyristors / Application Software / Hardware / Formal Specification / Software Systems / Thyristors / Application Software

Download

Disproving False Conjectures

Theorem Proving / Second Order / First Order Logic

Download